13

Oral verrucous carcinoma: Treatment with radiotherapy

Année:
1988
Langue:
english
Fichier:
PDF, 321 KB
english, 1988
18

Adult Hodgkin's disease in Kerala

Année:
1994
Langue:
english
Fichier:
PDF, 465 KB
english, 1994
21

Corrigendum

Année:
1994
Langue:
english
Fichier:
PDF, 77 KB
english, 1994
22

A case study in specifying and testing architectural features

Année:
1994
Langue:
english
Fichier:
PDF, 755 KB
english, 1994
23

Specification of systems with interrupts

Année:
1993
Langue:
english
Fichier:
PDF, 1.63 MB
english, 1993
24

A semantic characterisation for faults in replicated systems

Année:
1994
Langue:
english
Fichier:
PDF, 1.26 MB
english, 1994
25

Automated Software Testing of Asynchronous Systems

Année:
2009
Langue:
english
Fichier:
PDF, 954 KB
english, 2009
26

Efficient architectures for data access in a shared memory hierarchy

Année:
1991
Langue:
english
Fichier:
PDF, 1.52 MB
english, 1991
27

Formal methods and design extraction: a pilot study

Année:
1994
Langue:
english
Fichier:
PDF, 718 KB
english, 1994
28

Deriving distributed processes from concurrent processes

Année:
1995
Langue:
english
Fichier:
PDF, 748 KB
english, 1995
29

Independent examination of software: an experiment

Année:
2004
Langue:
english
Fichier:
PDF, 247 KB
english, 2004
33

Automatic synthesis of a subclass of schedulers in timed systems

Année:
2003
Langue:
english
Fichier:
PDF, 219 KB
english, 2003
34

A tool based approach to checking logical consistency in accident reports

Année:
2002
Langue:
english
Fichier:
PDF, 201 KB
english, 2002
36

Distributed Timed Automata

Année:
2000
Langue:
english
Fichier:
PDF, 921 KB
english, 2000
37

Architectural CCS

Année:
1996
Langue:
english
Fichier:
PDF, 1.41 MB
english, 1996
41

Performance of multicomputer networks under pin-out constraints

Année:
1991
Langue:
english
Fichier:
PDF, 1.32 MB
english, 1991